<?php
if (!extension_loaded('FFI')) die('skip FFI extension not available');
?>
